<html>
<head><meta charset="utf-8"><title>Issues #85863 and #85873 · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html">Issues #85863 and #85873</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="241367855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Issues%20%2385863%20and%20%2385873/near/241367855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html#241367855">(Jun 03 2021 at 09:39)</a>:</h4>
<p><span class="user-mention" data-user-id="280891">@Frank Steffahn</span> we have prioritized issues <a href="https://github.com/rust-lang/rust/issues/85863">#85863</a> and <a href="https://github.com/rust-lang/rust/issues/85873">#85873</a> as P-critical based on the current context. Personally I kind of feel that also T-lang might be interested in discussing this, makes sense? <br>
In any case, if today you want to jump in and provide more context, feel free to do so.</p>
<p>Today's team compiler agenda is:<br>
<a href="https://hackmd.io/wCIbJPBKSxKeScnuh3dr2Q?view">https://hackmd.io/wCIbJPBKSxKeScnuh3dr2Q?view</a></p>



<a name="241367877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Issues%20%2385863%20and%20%2385873/near/241367877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html#241367877">(Jun 03 2021 at 09:40)</a>:</h4>
<p>and thanks for the analysis on these two issues</p>



<a name="241375162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Issues%20%2385863%20and%20%2385873/near/241375162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Frank Steffahn <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html#241375162">(Jun 03 2021 at 11:01)</a>:</h4>
<blockquote>
<p>if today you want to jump in and provide more context, feel free to do so</p>
</blockquote>
<p>Sure, I can do that ^^ I assume the meeting is 14:00 UTC (3 hours from now), right?</p>



<a name="241376180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Issues%20%2385863%20and%20%2385873/near/241376180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Frank Steffahn <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html#241376180">(Jun 03 2021 at 11:13)</a>:</h4>
<p>And T-lang might make sense, though the more I think about it the more it seems like the <em>main</em> problem in these issues is just “covariant types using marker traits on their covariant parameters resulting in potential for reaching an invalid state”. So mostly a T-libs question, not necessarily too relevant for T-lang? Although this example might be valuable in a general guideline on what to keep in mind around specialization, and T-lang is relevant for the ongoing design of sound specialization. I don’t know…</p>
<p>maybe regarding my proposed</p>
<blockquote>
<p>if, somehow, specialization would also consider types such as fn(&amp;()) and fn(&amp;'static ()) to be “the same type”</p>
</blockquote>
<p>fix. Which – by the way – seems less reasonable to me now than it felt when I created the issue, and I found that <a href="https://github.com/rust-lang/rust/issues/56105">#56105</a> is probably relevant around any potential discussion for considering this option. Anyway, <em>in case</em> this is seen as a reasonable approach to fix these issues, then T-lang would become very relevant.</p>



<a name="241376288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Issues%20%2385863%20and%20%2385873/near/241376288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Frank Steffahn <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html#241376288">(Jun 03 2021 at 11:14)</a>:</h4>
<p>I guess, T-lang could also be tagged and then be asked to decide themselves if they are interested in staying tagged.</p>



<a name="241381947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Issues%20%2385863%20and%20%2385873/near/241381947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Issues.20.2385863.20and.20.2385873.html#241381947">(Jun 03 2021 at 12:15)</a>:</h4>
<p>meeting will happen here:<br>
<a href="#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.5D.202021-06-03.20.2354818">https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.5D.202021-06-03.20.2354818</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>